Править] Основные тождества
В данном разделе повторяются свойства и аксиомы, описанные выше с добавлением ещё нескольких.
Сводная таблица свойств и аксиом, описанных выше:
![]() | ![]() | 1 коммутативность переместительность |
![]() | ![]() | 2 ассоциативность сочетательность |
3.1 конъюнкция относительно дизъюнкции ![]() | 3.2 дизъюнкция относительно конъюнкции ![]() | 3 дистрибутивность распределительность |
![]() | ![]() | 4 комплементность дополнительность (свойства отрицаний) |
![]() | ![]() | 5 законы де Моргана |
![]() | ![]() | 6 законы поглощения |
![]() | ![]() | 7 Блейка-Порецкого |
![]() | ![]() | 8 Идемпотентность |
![]() | 9 инволютивность отрицания | |
![]() | ![]() | 10 свойства констант |
![]() | ![]() | |
дополнение 0 есть 1 ![]() | дополнение 1 есть 0 ![]() | |
![]() | ![]() | 11 Склеивание |
См. также Алгебра логики
Править] Примеры
- Самая простая нетривиальная булева алгебра содержит всего два элемента, 0 и 1, а действия в ней определяются следующей таблицей:
Дата добавления: 2016-01-05; просмотров: 18; Мы поможем в написании вашей работы! |
![](/my/edugr4.jpg)
Мы поможем в написании ваших работ!